use $wgStyleVersion in handy-dandy $wgOut->addStyle() func
authorBrion Vibber <brion@users.mediawiki.org>
Wed, 16 May 2007 19:54:58 +0000 (19:54 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Wed, 16 May 2007 19:54:58 +0000 (19:54 +0000)
includes/OutputPage.php

index 6a4f66d..42c1b4c 100644 (file)
@@ -75,11 +75,11 @@ class OutputPage {
        function addKeyword( $text ) { array_push( $this->mKeywords, $text ); }
        function addScript( $script ) { $this->mScripts .= "\t\t".$script; }
        function addStyle( $style ) {
-               global $wgStylePath;
+               global $wgStylePath, $wgStyleVersion;
                $this->addLink(
                                array(
                                        'rel' => 'stylesheet',
-                                       'href' => $wgStylePath . '/' . $style ) );
+                                       'href' => $wgStylePath . '/' . $style . '?' . $wgStyleVersion ) );
        }
 
        /**